operational semantics - German English Dictionary